1. A second course in formal languages and automata theory
پدیدآورنده : Shallit, Jeffrey Outlaw.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Formal languages,، Machine theory
رده :
QA
267
.
3
.
S53
2. A second course in formal languages and automata theory
پدیدآورنده : / Jeffrey Shallit
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Formal languages,Machine theory
رده :
E-BOOK
3. Algorithmic number theory
پدیدآورنده : / Eric Bach and Jeffrey Shallit
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Number theory- Data processing,Algorithms
رده :
QA241
.
B1085
1996
4. Automatic sequences
پدیدآورنده : / Jean-Paul Allouche, Jeffrey Shallit
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Sequential machine theory,Sequences (Mathematics)
رده :
QA267
.
5
.
S4
,
A55
2003
5. Automatic sequences
پدیدآورنده : / Jean-Paul Allouche, Jeffrey Shallit
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Sequential machine theory,Sequences (Mathematics)
رده :
QA267
.
5
.
S4
,
A55
2003
6. Automatic sequences :theory, applications, generalizations]CD[
پدیدآورنده : Allouche, Jean-Paul, Jean-Paul Allouche, Jeffrey Shallit
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Sequential machine theory,، Sequences )Mathematics(
رده :
CD
1742-17
7. Automatic sequences : theory, applications, generalizations
پدیدآورنده : Allouche, Jean-Paul
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Sequential machine theory,، Sequences )Mathematics(
رده :
QA
267
.
5
.
S4A55
8. Automatic sequences : theory, applications, generalizations
پدیدآورنده : Allouche, Jean-Paul, 3591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Sequential machine theory,، Sequences )Mathematics(
رده :
QA
267
.
5
.
S4A448
9. Coding theory, cryptography, and related areas : proceedings of an International Conference on Coding Theory, Cryptography, and Related Areas, held in Guanajuato, Mexico, in April 1998
پدیدآورنده : Johannes Buchmann ... ]et al.[, editors
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Coding theory,Congresses ، Data encryption )Computer science(,Security measures - Congresses ، Data transmission systems
رده :
TK
5102
.
94
.
I58
2000
10. Descriptional Complexity of Formal Systems
پدیدآورنده : \ Jeffrey Shallit , Alexander Okhotin (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses.,Formal languages -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها ,زبانهای صوری -- کنگره ها
رده :
QA
76
.
9
.
D4
2015
E-Book
,
11. Descriptional Complexity of Formal Systems
پدیدآورنده : / Jeffrey Shallit, Alexander Okhotin
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
12. Number theory and related fields: in memory of Alf van der Poorten
پدیدآورنده : Jonathan M. Borwein, Igor Shparlinski, Wadim Zudilin, editors
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Number theory
رده :
QA
241
.
N86
2013
